Transferring homotopy commutative algebraic structures
نویسندگان
چکیده
منابع مشابه
A Decision Procedure for Equational Reasoning in Commutative Algebraic Structures
We present a decision procedure for equational reasoning in abelian groups, commutative rings and fields that checks whether a given equality can be proven from the axioms of these structures. This has been implemented as a tactic in Coq; here we give a mathematical description of the decision procedure that abstracts from Coq specifics, making the work in principle adaptable to other theorem p...
متن کاملStrongly Homotopy-Commutative Monoids Revisited
We prove that the delooping, i. e., the classifying space, of a grouplike monoid is an H-space if and only if its multiplication is a homotopy homomorphism, extending and clarifying a result of Sugawara. Furthermore it is shown that the Moore loop space functor and the construction of the classifying space induce an adjunction of the according homotopy categories. 2000 Mathematics Subject Class...
متن کاملNon-commutative Algebraic Geometry
0 Introduction This is a reasonably faithful account of the ve lectures I delivered at the summer course \Geometria Algebraica no Commutativa y Espacios Cuanti-cos" for graduate students, in Spain, July 25{29, 1994. The material covered was, for the most part, an abridged version of Artin and Zhang's paper 2]. Fix a eld k. Given a Z-graded k-algebra, A say, which for simplicity is assumed to be...
متن کاملTwisting Commutative Algebraic Groups
If V is a commutative algebraic group over a field k, O is a commutative ring that acts on V , and I is a finitely generated free O-module with a right action of the absolute Galois group of k, then there is a commutative algebraic group I ⊗O V over k, which is a twist of a power of V . These group varieties have applications to cryptography (in the cases of abelian varieties and algebraic tori...
متن کاملOn Simplicial Commutative Algebras with Noetherian Homotopy
In this paper, we introduce a strategy for studying simplicial commutative algebras over general commutative rings R. Given such a simplicial algebra A, this strategy involves replacing A with a connected simplicial commutative k(℘)-algebra A(℘), for each ℘ ∈ Spec(π0A), which we call the connected component of A at ℘. These components retain most of the André-Quillen homology of A when the coef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2008
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2008.04.002